翻訳と辞書 Words near each other ・ Depopulation of cockroaches in post-Soviet states ・ Depopulation of the Great Plains ・ Depor ・ DePorres Club ・ Deport Racism Organization ・ Deport Them ・ Deport, Texas ・ Depend on Me ・ Depend on You ・ Dependability ・ Dependability benchmarking ・ Dependability state model ・ Dependant ・ Depende ・ Dependence analysis ・ Dependence logic ・ Dependence receptor ・ Dependence relation ・ Dependencies of Guadeloupe ・ Dependencies of Norway ・ Dependency ・ Dependency (band) ・ Dependency (project management) ・ Dependency (religion) ・ Dependency (UML) ・ Dependency grammar ・ Dependency graph ・ Dependency hell ・ Dependency injection ・ Dependency inversion principle Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Dependence logic ： ウィキペディア英語版 Dependence logic Dependence logic is a logical formalism, created by Jouko Väänänen,〔Väänänen 2007〕 which adds ''dependence atoms'' to the language of first-order logic. A dependence atom is an expression of the form $=\backslash !\backslash !(t\_1\; \backslash ldots\; t\_n)$, where $t\_1\; \backslash ldots\; t\_n$ are terms, and corresponds to the statement that the value of $\backslash !t\_n$ is functionally dependent on the values of $t\_1\backslash ldots\; t\_$. Dependence logic is a logic of imperfect information, like branching quantifier logic or independence-friendly logic: in other words, its game theoretic semantics can be obtained from that of first-order logic by restricting the availability of information to the players, thus allowing for non-linearly ordered patterns of dependence and independence between variables. However, dependence logic differs from these logics in that it separates the notions of dependence and independence from the notion of quantification. ==Syntax== The syntax of dependence logic is an extension of that of first-order logic. For a fixed signature σ = (''S''func, ''S''rel, ar), the set of all well-formed dependence logic formulas is defined according to the following rules: 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Dependence logic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.